COMMENT ⊗   VALID 00003 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	αβxsubjob↔αβxlattach↔ start up a subjob and take output in attach buffer
C00011 00003	αXDEFINE ADR↔
C00016 ENDMK
C⊗;
αβxsubjob⊗↔αβxlattach⊗↔⊗; start up a subjob and take output in attach buffer
αβ0αβxjf 8⊗↔⊗; preserves tabs in justifying paragraphs

αXDEFINE OBBD⊗↔
	αZTEMP⊗↔
αβ⊗↓
αXDEFINE TEMP⊗↔
	αXEXECUTE EINIT.CMD[1,3](18)⊗↔
	αZOBBD⊗↔
αβ⊗↓

αXDEFINE name⊗↔
	αZTEMP1⊗↔
αβ⊗↓
αXDEFINE TEMP1⊗↔
	αXEXECUTE EINIT.CMD[1,3](17)⊗↔
	αZname⊗↔
αβ⊗↓

αXDEFINE XS⊗↔⊗; send file named on current line to xgp
αcαeαixs αs]α αk⊗↔αi⊗↔kα⊗↔αβuαxsubjob⊗↔αβ2α=αβ2αβdαβ⊗↓

αXDEFINE del1⊗↔⊗; delete arbitrary file mentioned on current line
αidel αs]α αk⊗↔α⊗↔α=αβ⊗↓

αXDEFINE DEL⊗↔⊗; delete E format file mentioned on current line
αxpo⊗↔αxreadw⊗↔αxfiledelete⊗↔αhαβdαβ⊗↓

αXDEFINE dover⊗↔⊗; send file named on current line to dover
αcαeαidover αs]α αk⊗↔αi⊗↔kα⊗↔αβuαxsubjob⊗↔αβ2α=αβ2αβdαβ⊗↓

αXDEFINE rover⊗↔⊗; send file named on current line to rover
αcαeαirover αs]α αk⊗↔αi⊗↔kα⊗↔αβuαxsubjob⊗↔αβ2α=αβ2αβdαβ⊗↓

αXDEFINE boise⊗↔⊗; send file named on current line to boise
αcαeαiboise αs]α αk⊗↔αi⊗↔kα⊗↔αβuαxsubjob⊗↔αβ2α=αβ2αβdαβ⊗↓

αXDEFINE esp⊗↔⊗; send file named on current line to esp; prints it in fix40
αcαeαiesp αs]α αk⊗↔αi/font=fix40⊗↔kα⊗↔αβuαxsubjob⊗↔αβ2α=αβ2αβdαβ⊗↓

αXDEFINE ≡⊗↔⊗; enter pointed file in readwrite mode
αxpo⊗↔αxreadw⊗↔αβ⊗↓

αXDEFINE %⊗↔⊗; surround word with italics for TEX
}αb α αi{\it α⊗=αβ⊗↓

αXDEFINE ∩⊗↔⊗; take line back to file of files
αcαh⊗↔αeα↑⊗=⊗=αdαβ⊗↓

αXDEFINE MEM⊗↔⊗; standard start of memos
αβ⊗↔.require "memo.pub[let,jmc]" source;⊗↔.cb αβ⊗↓

αXDEFINE COM⊗↔⊗; For commenting out file name for pub memos
αi.<<α⊗=>>⊗↔αβ⊗↓

αXDEFINE AIL⊗↔⊗; standard start of AI letter
αβ⊗↔.require "let.pub[let,jmc]" source;⊗↔
∂AIL αβ⊗↓

αXDEFINE CSL⊗↔⊗; standard start of CS letter
αβ⊗↔.require "let.pub[let,jmc]" source;⊗↔
∂CSL αβ⊗↓

αxdefine msg⊗↔⊗; switching to the message file
⊗↔αεmsg.msg[1,jmc]/∞p⊗↔αβ⊗↓

αxdefine jnk⊗↔⊗; switching to the junk message file
⊗↔αεmsg.msg[jnk,jmc]/∞p⊗↔αβ⊗↓

αxdefine fil⊗↔⊗; switching to the file of files last page
⊗↔αεfiles[let,jmc]/∞p⊗↔αβ⊗↓

αxdefine fil1⊗↔⊗; switching to the file of files first page
⊗↔αεfiles[let,jmc]/1p⊗↔αβ⊗↓

αxdefine cal⊗↔⊗; switching to the calendar file
⊗↔αεcal[1,jmc]/∞p⊗↔αβ⊗↓

αxdefine ∪⊗↔⊗; switching to the message file
αεmsg.msg[1,jmc]/∞p⊗↔αβ⊗↓

αxdefine $⊗↔⊗; putting in an equation number. execute macro after typing symbol
αi α⊗Bαb  αi({eq αs αdβ}β)αβ⊗↓

αXDEFINE TASK⊗↔⊗; puts attach buffer in TASKS file
αβεtasks[1,jmc]/2p/∞l⊗↔αβeβ⊗↔αhαβ⊗↓

αxdefine pho⊗↔⊗; switching to the phon file
αβεphon[1,jmc]/1p⊗↔αβ⊗↓

αxdefine phon⊗↔⊗; switching to the phon file
αβεphon[1,jmc]/1p⊗↔αβ⊗↓

αxdefine adr⊗↔⊗; putting my address in file
⊗↔Professor John McCarthy⊗↔Computer Science Department
⊗↔Stanford University⊗↔Stanford California 94305⊗↔αβ⊗↓

αxdefine s84⊗↔⊗; starting a file
α⊗↔αs⊗=αi[s84,jmc]α⊗↔αxpo/c⊗↔αhαcαhαe⊗↔αβ⊗↔αβ⊗↓

αxdefine new⊗↔⊗; starting a file, gets updated each quarter
α⊗↔αs⊗=αi[e85,jmc]α⊗↔αxpo/c⊗↔αhαcαhαe⊗↔αβ⊗↔αβ⊗↓

αxdefine ekl⊗↔⊗; starting up an ekl
αxsl dsk:ekl.dmp[1,3]⊗↔αxlfile⊗↔αβ⊗↓

αxdefine lisp⊗↔⊗; starting up a lisp
αxsl (lisp)⊗↔αxlpend⊗↔αβ⊗↓

αXDEFINE L⊗↔⊗; Run lisp functions.  Needs lines ;bfun ;efun ;end.
⊗↔αβlαβf;end⊗↔⊗↔αβ9αβ9αβ9αβdαβlαβf;bfun⊗↔αβf;efunα=αβf;end⊗↔αβjαβ⊗↓

αxdefine phil⊗↔⊗; mailing to "phil-sci%oz"%mc mails the rest of the page
α∞αxmail "phil-sci%oz"%mc/su⊗↔αβ⊗↓

αxdefine dov⊗↔⊗; send the file mentioned in the current line to the dover
αcαeαidover αs⊗=αk⊗↔α⊗↔α=αβdαβ⊗↓

αxdefine 1984⊗↔⊗; switching to the 1984 file
αβλ1984.xgp[up,doc]/3p⊗↔αβ⊗↓

αxdefine 1985⊗↔⊗; switching to the 1985 file
αβλ1985.xgp[up,doc]/3p⊗↔αβ⊗↓

αXDEFINE REcon⊗↔⊗; reconnecting a maclisp job after re-entering e
α-αxsubjob⊗↔αxrec⊗↔αβ⊗↓

αXDEFINE MAIL/su⊗↔⊗; mails rest of page. requires address line and subject line
αβ∞αβxmail/su⊗↔αβ⊗↓

αXDEFINE VOTE⊗↔⊗; cleans up line of numbers with one comma for totalling votes
αs,αdαs αk⊗↔αb αl⊗↔⊗↔αβ⊗↓

αXDEFINE RELISP⊗↔⊗; reconnects to maclisp job after re-entry to E
α-αxsubjob⊗↔αxrec⊗↔αβ⊗↓

αXDEFINE MYPHON⊗↔
(work: 415 497-4430) (home: 857-0672)αβ⊗↓

αXDEFINE C⊗↔⊗; circumscription
circumscriptionαβ⊗↓

αXDEFINE E⊗↔⊗; writing a reference to an equation
({eq })αb}αiαβ⊗↓

αXDEFINE BIO⊗↔⊗; switching to my biography file
αβεbiojmc[1/∞p/∞l⊗↔αβ⊗↓

αXDEFINE SYM⊗↔⊗; making a symbol preceded by space italic for TEX
}αb α αi{\it α⊗=αβ⊗↓

αXDEFINE SYMB⊗↔⊗; making a symbol at beginning of line italic for TEX
α⊗→αi{\it α⊗=}αβ⊗↓

αXDEFINE EXT⊗↔⊗; starting a page at the end of a file
αβxstopone⊗↔αzextq1⊗↔αβ∞αβlαβxmark⊗↔αβxstopall⊗↔αβ⊗↓

αXDEFINE extq1⊗↔⊗; subsidiary to ext
αβ∞αβpαβ⊗↓

⊗⊂ Brings in REPLY macro from EINIT[1,3] (if necessary) and executes it.⊃

αxDEFINE R⊗↔
	αzR1⊗↔αxSET R1=NULL⊗↔αβ#αzREPLY⊗↔
αβ⊗↓

αxDEFINE R1⊗↔
	αxEXECUTE EINIT.CMD[1,3](14)⊗↔
αβ⊗↓

αxDEFINE NULL⊗↔
	⊗≠
αβ⊗↓

αXDEFINE FIX⊗↔⊗; Puts quotes around part of address unparsable by SAIL in REPLY
αβlαfreplying-to:⊗↔αs α β"αs@β"⊗↔αβ∞αβl⊗↑αβ⊗↓

αXDEFINE T⊗↔⊗; Puts the attach buffer at the end of other file (for comments).
αhαβ∞αβlαeβ⊗↔αhαxcan⊗↔αβ⊗↓

αXDEFINE MOVE⊗↔⊗; moves paragraph to end of previous page - used with calendar
αβ!αβaαβ-αβpαβ∞αβlαβeαβoαβ⊗↓
αXDEFINE ADR⊗↔
⊗↔Professor John McCarthy⊗↔Computer Science Department⊗↔Stanford Univers
ity⊗↔Stanford California 94305⊗↔αβ⊗↓

αXDEFINE AIL⊗↔
αβ⊗↔.require "let.pub[let,jmc]" source;⊗↔∂AIL αβ⊗↓

αXDEFINE BIO⊗↔
αβεbiojmc[1/∞p/∞l⊗↔αβ⊗↓

αXDEFINE BOISE⊗↔
αcαeαiboise αs]α αk⊗↔αi⊗↔kα⊗↔αβuαxsubjob⊗↔αβ2α=αβ2αβdαβ⊗↓

αXDEFINE C⊗↔
circumscriptionαβ⊗↓

αXDEFINE CAL⊗↔
⊗↔αεcal[1,jmc]/∞p⊗↔αβ⊗↓

αXDEFINE COM⊗↔
αi.<<α⊗=>>⊗↔αβ⊗↓

αXDEFINE CSL⊗↔
αβ⊗↔.require "let.pub[let,jmc]" source;⊗↔∂CSL αβ⊗↓

αXDEFINE DEL⊗↔
αidel αs]α αk⊗↔α⊗↔α=αβkαβdαβ⊗↓

αXDEFINE DOV⊗↔
αcαeαidover αs⊗=αk⊗↔α⊗↔α=αβdαβ⊗↓

αXDEFINE DOVER⊗↔
αcαeαidover αs]α αk⊗↔αi⊗↔kα⊗↔αβuαxsubjob⊗↔αβ2α=αβ2αβdαβ⊗↓

αXDEFINE E⊗↔
({eq })αb}αiαβ⊗↓

αXDEFINE EKL⊗↔
αxsl dsk:ekl.dmp[1,3]⊗↔αxlfile⊗↔αβ⊗↓

αXDEFINE ESP⊗↔
αcαeαiesp αs]α αk⊗↔αi/font=fix40⊗↔kα⊗↔αβuαxsubjob⊗↔αβ2α=αβ2αβdαβ⊗↓

αXDEFINE EXT⊗↔
αβxstopone⊗↔αzextq1⊗↔αβ∞αβlαβxmark⊗↔αβxstopall⊗↔αβ⊗↓

αXDEFINE EXTQ1⊗↔
αβ∞αβpαβ⊗↓

αXDEFINE FIL⊗↔
⊗↔αεfiles[let,jmc]/∞p⊗↔αβ⊗↓

αXDEFINE FIL1⊗↔
⊗↔αεfiles[let,jmc]/1p⊗↔αβ⊗↓

αXDEFINE FIX⊗↔
αβlαfreplying-to:⊗↔αs α β"αs@β"⊗↔αβ∞αβl⊗↑αβ⊗↓

αXDEFINE JNK⊗↔
⊗↔αεmsg.msg[jnk,jmc]/∞p⊗↔αβ⊗↓

αXDEFINE L⊗↔
⊗↔αβlαβf;end⊗↔⊗↔αβ9αβ9αβ9αβdαβlαβf;bfun⊗↔αβf;efunα=αβf;end⊗↔αβjαβ⊗↓

αXDEFINE LISP⊗↔
αxsl (lisp)⊗↔αxlpend⊗↔αβ⊗↓

αXDEFINE MAIL⊗↔
αβ∞αβxmail/su⊗↔αβ⊗↓

αXDEFINE MEM⊗↔
αβ⊗↔.require "memo.pub[let,jmc]" source;⊗↔.cb αβ⊗↓

αXDEFINE MOVE⊗↔
αβ!αβaαβ-αβpαβ∞αβlαβeαβoαβ⊗↓

αXDEFINE MSG⊗↔
⊗↔αεmsg.msg[1,jmc]/∞p⊗↔αβ⊗↓

αXDEFINE MYPHON⊗↔
(work: 415 497-4430) (home: 857-0672)αβ⊗↓

αXDEFINE NAME⊗↔
αZTEMP1⊗↔αβ⊗↓

αXDEFINE NEW⊗↔
α⊗↔αs⊗=αi[e85,jmc]α⊗↔αxpo/c⊗↔αhαcαhαe⊗↔αβ⊗↔αβ⊗↓

αXDEFINE NULL⊗↔
⊗≠αβ⊗↓

αXDEFINE OBBD⊗↔
αZTEMP⊗↔αβ⊗↓

αXDEFINE PHIL⊗↔
α∞αxmail "phil-sci%oz"%mc/su⊗↔αβ⊗↓

αXDEFINE PHO⊗↔
αβεphon[1,jmc]/1p⊗↔αβ⊗↓

αXDEFINE PHON⊗↔
αβεphon[1,jmc]/1p⊗↔αβ⊗↓

αXDEFINE R⊗↔
αzR1⊗↔αxSET R1=NULL⊗↔αβ#αzREPLY⊗↔αβ⊗↓

αXDEFINE R1⊗↔
αxEXECUTE EINIT.CMD[1,3](14)⊗↔αβ⊗↓

αXDEFINE RECON⊗↔
α-αxsubjob⊗↔αxrec⊗↔αβ⊗↓

αXDEFINE RELISP⊗↔
α-αxsubjob⊗↔αxrec⊗↔αβ⊗↓

αXDEFINE ROVER⊗↔
αcαeαirover αs]α αk⊗↔αi⊗↔kα⊗↔αβuαxsubjob⊗↔αβ2α=αβ2αβdαβ⊗↓

αXDEFINE S84⊗↔
α⊗↔αs⊗=αi[s84,jmc]α⊗↔αxpo/c⊗↔αhαcαhαe⊗↔αβ⊗↔αβ⊗↓

αXDEFINE SYM⊗↔
}αb α αi{\it α⊗=αβ⊗↓

αXDEFINE SYMB⊗↔
α⊗→αi{\it α⊗=}αβ⊗↓

αXDEFINE T⊗↔
αhαβ∞αβlαeβ⊗↔αhαxcan⊗↔αβ⊗↓

αXDEFINE TASK⊗↔
αβεtasks[1,jmc]/2p/∞l⊗↔αβeβ⊗↔αhαβ⊗↓

αXDEFINE TEMP⊗↔
αXEXECUTE EINIT.CMD[1,3](18)⊗↔αZOBBD⊗↔αβ⊗↓

αXDEFINE TEMP1⊗↔
αXEXECUTE EINIT.CMD[1,3](17)⊗↔αZname⊗↔αβ⊗↓

αXDEFINE VOTE⊗↔
αs,αdαs αk⊗↔αb αl⊗↔⊗↔αβ⊗↓

αXDEFINE XS⊗↔
αcαeαixs αs]α αk⊗↔αi⊗↔kα⊗↔αβuαxsubjob⊗↔αβ2α=αβ2αβdαβ⊗↓

αXDEFINE ∩⊗↔
αcαh⊗↔αeα↑⊗=⊗=αdαβ⊗↓

αXDEFINE ∪⊗↔
αεmsg.msg[1,jmc]/∞p⊗↔αβ⊗↓

αXDEFINE ≡⊗↔
αxpo⊗↔αxreadw⊗↔αβ⊗↓

αXDEFINE $⊗↔
αi α⊗↑αb  αi({eq αs αdβ}β)αβ⊗↓

αXDEFINE %⊗↔
}αb α αi{\it α⊗=αβ⊗↓

αXDEFINE 1984⊗↔
αβλ1984.xgp[up,doc]/3p⊗↔αβ⊗↓

αXDEFINE 1985⊗↔
αβλ1985.xgp[up,doc]/3p⊗↔αβ⊗↓